TSTP Solution File: GRA067^2 by CARINE---0.734